(^x: (member Map : (('a -> 'b) -> ^z)) x)
